Towards a Unified Framework for Declarative Structured Communications

We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas

Las emociones de quienes aprenden a enseñar ciencias : un desafío para la investigación en didáctica de las ciencias

La finalidad de este artículo es presentar algunos aspectos de un marco teórico innovador dentro de la Didáctica de las Ciencias como es el de las “emociones”, así como algunos resultados obtenidos en una investigación –tesis doctoral– desarrollada en torno al estudio de las mismas de cuatro futuras profesoras de ciencias de la Universidad Nacional del Comahue –Patagonia, Argentina– durante el desarrollo de sus prácticas profesionales. Se analizan sus reflexiones metacognitivas respecto a la planificación y enseñanza de una unidad didáctica de ciencias a sus alumnos de nivel medio, focalizando en la diversidad de emociones que generan y en el tipo de gestión que hacen de las mismas, determinantes de su permanencia o, contrariamente, cambio de meta/modelo de enseñanza-aprendizaje de las ciencias

Ictiólogos de la Argentina: Elvira Mariana Siccardi.

En esta serie se mencionan a todos aquellos que, a través de sus pequeños o grandes aportes, contribuyeron a la consolidación de la disciplina en nuestro país. El plan general de esta contribución consiste en la elaboración de fichas individuales que contengan una lista de trabajos de los diferentes autores, acompañadas por bibliografía de referencia y, cuando ello fuera posible, por imágenes personales y material adicional. Se tratará de guardar un orden cronológico, pero esto no es excluyente, ya que priorizaremos las sucesivas ediciones al material disponible. Este es otro camino para rescatar y revalorizar a quienes en diversos contextos históricos sentaron las bases de lo que hoy es la ictiología nacional. Considero que este es el comienzo de una obra de mayor magnitud en la que se logre describir una parte importante de la historia de las ciencias naturales de la República Argentina

Lista de los peces de la provincia de Jujuy

Fil: Fernández, Luis A.. Fundación Miguel Lillo. Tucumán; ArgentinaFil: Nadalin, Diego Oscar. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; ArgentinaFil: López, Hugo Luis. División Zoología Vertebrados. Facultad de Ciencias Naturales y Museo. Universidad Nacional de La Plata; Argentin

Ictiólogos de la Argentina: Guillermo Martínez Achenbach.

This series will include all those people who, by means of their contributions, great and small, played a part in the consolidation of ichthyology in Argentina. The general plan of this work consists of individual factsheets containing a list of works by each author, along with reference bibliography and, whenever possible, personal pictures and additional material. The datasheets will be published primarily in chronological order, although this is subject to change by the availability of materials for successive editions. This work represents another approach for the recovery and revalorization of those who set the foundations of Argentine ichthyology while in diverse historical circumstances. I expect this to be the beginning of a major work that achieves the description of such a significant part of the history of natural sciences in Argentina. (PDF has 16 pages.

Ictiólogos de la Argentina: Rogelio Bartolomé López.

Spanish: En esta serie se mencionan a todos aquellos que, a través de sus pequeños o grandes aportes, contribuyeron a la consolidación de la disciplina en nuestro país. El plan general de esta contribución consiste en la elaboración de fichas individuales que contengan una lista de trabajos de los diferentes autores, acompañadas por bibliografía de referencia y, cuando ello fuera posible, por imágenes personales y material adicional. Se tratará de guardar un orden cronológico, pero esto no es excluyente, ya que priorizaremos las sucesivas ediciones al material disponible. Este es otro camino para rescatar y revalorizar a quienes en diversos contextos históricos sentaron las bases de lo que hoy es la ictiología nacional. Considero que este es el comienzo de una obra de mayor magnitud en la que se logre describir una parte importante de la historia de las ciencias naturales de la República Argentina. English: This series will include all those people who, by means of their contributions, great and small, played a part in the consolidation of ichthyology in Argentina. The general plan of this work consists of individual factsheets containing a list of works by each author, along with reference bibliography and, whenever possible, personal pictures and additional material. The datasheets will be published primarily in chronological order, although this is subject to change by the availability of materials for successive editions. This work represents another approach for the recovery and revalorization of those who set the foundations of Argentine ichthyology while in diverse historical circumstances. I expect this to be the beginning of a major work that achieves the description of such a significant part of the history of natural sciences in Argentina. Hugo L. López (Texto en espanol. PDF tiene viente tres paginas.

Session-based concurrency, declaratively

Session-based concurrency is a type-based approach to the analysis of message-passing programs. These programs may be specified in an operational or declarative style: the former defines how interactions are properly structured; the latter defines governing conditions for correct interactions. In this paper, we study rigorous relationships between operational and declarative models of session-based concurrency. We develop a correct encoding of session 휋-calculus processes into the linear concurrent constraint calculus (횕회회), a declarative model of concurrency based on partial information (constraints). We exploit session types to ensure that our encoding satisfies precise correctness properties and that it offers a sound basis on which operational and declarative requirements can be jointly specified and reasoned about. We demonstrate the applicability of our results by using our encoding in the specification of realistic communication patterns with time and contextual information

Lista comentada de la ictiofauna del Canal Beagle.

Inventario de la ictiofauna de la región, evaluación de aspectos de distribución y biología de las especies presentes. Además se incluyó la información completa de todas las entidades tratadas. Como resultado de este análisis se obtuvo un panorama actualizado del estado del conocimiento de los peces presentes en este sector. (PDF tiene 85 paginas.

Control del proceso de la elaboración de pasta para botana para evitar rupturas en el pellet

En este trabajo se presenta la problemática de la ruptura de los pellets después de haber sido elaborados encontrando variables en el proceso de secado, condiciones de operación y corte los cuales dan origen a este defecto. Se realizan pruebas para poder contrarrestar estos defectos cambiando la curva de secado del proceso manteniendo dos fases de estabilización, las cuales nos permiten llegar a generar una curva de secado más suavizada

A Logic for Choreographies

We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.Comment: In Proceedings PLACES 2010, arXiv:1110.385